[next] [prev] [prev-tail] [tail] [up]

2.2.13 Integrals 1201 to 1300

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 101 171 128 252 0 95 101

N.S.

1 1.00 1.19 2.01 1.51 2.96 0.00 1.12 1.19

time (sec)

N/A 0.028 0.198 0.577 0.277 5.065 0.000 1.500 2.273

Problem 1202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 30 68 55 44 0 33 31

N.S.

1 1.00 0.91 2.06 1.67 1.33 0.00 1.00 0.94

time (sec)

N/A 0.007 0.009 0.589 0.280 3.049 0.000 1.530 1.646

Problem 1203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 159 375 0 558 0 187 -1

N.S.

1 1.00 1.13 2.66 0.00 3.96 0.00 1.33 -0.01

time (sec)

N/A 0.086 0.464 0.653 0.000 4.372 0.000 1.326 0.000

Problem 1204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

245 245 265 909 0 1249 0 1181 -1

N.S.

1 1.00 1.08 3.71 0.00 5.10 0.00 4.82 -0.00

time (sec)

N/A 0.219 1.182 0.668 0.000 3.573 0.000 1.726 0.000

Problem 1205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

374 374 377 1582 0 2308 0 1095 -1

N.S.

1 1.00 1.01 4.23 0.00 6.17 0.00 2.93 -0.00

time (sec)

N/A 0.414 11.042 0.733 0.000 4.436 0.000 1.405 0.000

Problem 1206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

341 341 326 912 777 976 0 370 -1

N.S.

1 1.00 0.96 2.67 2.28 2.86 0.00 1.09 -0.00

time (sec)

N/A 0.294 0.928 0.676 0.297 3.367 0.000 2.032 0.000

Problem 1207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

220 220 251 625 541 677 0 289 -1

N.S.

1 1.00 1.14 2.84 2.46 3.08 0.00 1.31 -0.00

time (sec)

N/A 0.130 0.717 0.699 0.286 3.747 0.000 1.678 0.000

Problem 1208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 149 363 346 196 0 176 190

N.S.

1 1.00 1.62 3.95 3.76 2.13 0.00 1.91 2.07

time (sec)

N/A 0.034 0.579 0.709 0.272 3.504 0.000 1.430 1.908

Problem 1209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 107 224 217 153 0 132 134

N.S.

1 1.00 0.96 2.02 1.95 1.38 0.00 1.19 1.21

time (sec)

N/A 0.061 0.252 0.570 0.271 3.398 0.000 1.747 1.733

Problem 1210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 72 121 130 101 0 82 76

N.S.

1 1.00 1.03 1.73 1.86 1.44 0.00 1.17 1.09

time (sec)

N/A 0.014 0.014 0.540 0.271 2.722 0.000 1.400 1.629

Problem 1211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 287 341 720 0 1400 0 853 -1

N.S.

1 1.00 1.19 2.51 0.00 4.88 0.00 2.97 -0.00

time (sec)

N/A 0.235 1.277 0.751 0.000 3.275 0.000 1.754 0.000

Problem 1212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

449 449 568 1658 0 2621 0 2413 -1

N.S.

1 1.00 1.27 3.69 0.00 5.84 0.00 5.37 -0.00

time (sec)

N/A 0.475 2.496 0.678 0.000 5.014 0.000 2.103 0.000

Problem 1213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 113 113 121 261 683 1383 111

N.S.

1 1.00 0.90 0.90 0.96 2.07 5.42 10.98 0.88

time (sec)

N/A 0.058 0.097 0.537 0.279 3.205 0.681 1.587 0.101

Problem 1214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 113 113 121 223 581 999 111

N.S.

1 1.00 0.90 0.90 0.96 1.77 4.61 7.93 0.88

time (sec)

N/A 0.050 0.098 0.600 0.271 4.557 0.461 2.310 0.072

Problem 1215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 114 113 121 183 434 667 111

N.S.

1 1.00 0.90 0.90 0.96 1.45 3.44 5.29 0.88

time (sec)

N/A 0.048 0.088 0.538 0.270 3.288 8.630 1.739 0.073

Problem 1216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 113 113 121 141 146 386 111

N.S.

1 1.00 0.90 0.90 0.96 1.12 1.16 3.06 0.88

time (sec)

N/A 0.046 0.079 0.534 0.273 4.662 1.874 1.497 0.070

Problem 1217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 113 113 121 103 430 167 111

N.S.

1 1.00 0.91 0.91 0.98 0.83 3.47 1.35 0.90

time (sec)

N/A 0.047 0.076 0.590 0.283 4.086 31.926 1.097 0.072

Problem 1218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 110 141 127 111 126 167 124

N.S.

1 1.00 0.90 1.16 1.04 0.91 1.03 1.37 1.02

time (sec)

N/A 0.046 0.080 0.591 0.276 3.698 9.796 2.758 1.553

Problem 1219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 110 122 123 120 539 156 137

N.S.

1 1.00 0.90 1.00 1.01 0.98 4.42 1.28 1.12

time (sec)

N/A 0.044 0.085 0.569 0.268 3.710 0.515 1.347 0.086

Problem 1220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 111 110 124 132 784 152 120

N.S.

1 1.00 0.91 0.90 1.02 1.08 6.43 1.25 0.98

time (sec)

N/A 0.047 0.107 0.619 0.281 3.510 0.727 1.624 0.092

Problem 1221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

267 267 273 278 308 545 1352 2710 254

N.S.

1 1.00 1.02 1.04 1.15 2.04 5.06 10.15 0.95

time (sec)

N/A 0.136 0.200 0.601 0.282 3.952 0.969 1.048 1.618

Problem 1222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

267 267 273 278 308 478 1556 2007 254

N.S.

1 1.00 1.02 1.04 1.15 1.79 5.83 7.52 0.95

time (sec)

N/A 0.106 0.197 0.585 0.278 3.865 27.798 0.996 1.619

Problem 1223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

267 267 272 278 308 410 937 1382 254

N.S.

1 1.00 1.02 1.04 1.15 1.54 3.51 5.18 0.95

time (sec)

N/A 0.107 0.186 0.594 0.293 5.480 16.589 1.249 0.061

Problem 1224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

267 267 273 278 308 344 377 835 254

N.S.

1 1.00 1.02 1.04 1.15 1.29 1.41 3.13 0.95

time (sec)

N/A 0.107 0.180 0.669 0.282 4.244 3.183 1.738 1.527

Problem 1225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

265 265 273 277 308 277 944 378 254

N.S.

1 1.00 1.03 1.05 1.16 1.05 3.56 1.43 0.96

time (sec)

N/A 0.106 0.167 0.595 0.277 3.302 52.883 0.997 1.507

Problem 1226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

263 263 273 405 314 285 321 441 296

N.S.

1 1.00 1.04 1.54 1.19 1.08 1.22 1.68 1.13

time (sec)

N/A 0.107 0.194 0.661 0.275 2.469 25.454 1.205 1.527

Problem 1227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

263 263 271 367 312 296 292 427 316

N.S.

1 1.00 1.03 1.40 1.19 1.13 1.11 1.62 1.20

time (sec)

N/A 0.102 0.210 0.700 0.291 2.538 29.667 0.936 0.073

Problem 1228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

263 263 272 335 313 304 1833 427 312

N.S.

1 1.00 1.03 1.27 1.19 1.16 6.97 1.62 1.19

time (sec)

N/A 0.102 0.212 0.628 0.272 3.259 0.839 0.783 1.560

Problem 1229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

228 228 239 441 0 1454 298 476 2500

N.S.

1 1.00 1.05 1.93 0.00 6.38 1.31 2.09 10.96

time (sec)

N/A 0.379 0.328 0.669 0.000 33.615 86.221 1.132 2.358

Problem 1230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 167 285 0 1010 199 316 2500

N.S.

1 1.00 0.97 1.65 0.00 5.84 1.15 1.83 14.45

time (sec)

N/A 0.254 0.230 0.687 0.000 12.218 54.558 1.414 2.189

Problem 1231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 123 171 0 678 134 197 2500

N.S.

1 1.00 0.94 1.31 0.00 5.18 1.02 1.50 19.08

time (sec)

N/A 0.194 0.161 0.603 0.000 5.753 30.129 1.012 0.586

Problem 1232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 101 103 0 478 104 116 2368

N.S.

1 1.00 1.00 1.02 0.00 4.73 1.03 1.15 23.45

time (sec)

N/A 0.120 0.209 0.607 0.000 4.883 6.546 0.890 1.910

Problem 1233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 84 70 0 521 87 79 1130

N.S.

1 1.00 0.98 0.81 0.00 6.06 1.01 0.92 13.14

time (sec)

N/A 0.119 0.184 0.692 0.000 3.752 22.640 0.867 1.918

Problem 1234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 118 111 0 875 107 129 2500

N.S.

1 1.00 1.00 0.94 0.00 7.42 0.91 1.09 21.19

time (sec)

N/A 0.197 0.343 0.614 0.000 6.440 21.949 1.351 3.123

Problem 1235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 159 156 0 1737 160 217 2500

N.S.

1 1.00 0.97 0.95 0.00 10.59 0.98 1.32 15.24

time (sec)

N/A 0.227 0.413 0.604 0.000 7.737 26.515 1.014 3.918

Problem 1236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

225 225 246 215 0 3053 228 386 2500

N.S.

1 1.00 1.09 0.96 0.00 13.57 1.01 1.72 11.11

time (sec)

N/A 0.310 0.619 0.681 0.000 26.171 30.867 0.880 4.722

Problem 1237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

301 301 363 290 0 4769 311 615 2500

N.S.

1 1.00 1.21 0.96 0.00 15.84 1.03 2.04 8.31

time (sec)

N/A 0.392 0.906 0.607 0.000 63.122 37.845 0.896 5.646

Problem 1238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-1) F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

386 386 336 548 0 0 0 846 2500

N.S.

1 1.00 0.87 1.42 0.00 0.00 0.00 2.19 6.48

time (sec)

N/A 0.789 0.919 0.684 0.000 0.000 0.000 0.825 6.713

Problem 1239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

292 292 262 405 0 2145 0 639 2500

N.S.

1 1.00 0.90 1.39 0.00 7.35 0.00 2.19 8.56

time (sec)

N/A 0.591 0.770 0.758 0.000 149.638 0.000 0.943 3.293

Problem 1240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

225 225 205 302 0 1634 0 468 2500

N.S.

1 1.00 0.91 1.34 0.00 7.26 0.00 2.08 11.11

time (sec)

N/A 0.382 0.887 0.661 0.000 17.836 0.000 1.483 2.700

Problem 1241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 172 183 0 1182 2048 334 2500

N.S.

1 1.00 0.95 1.01 0.00 6.53 11.31 1.85 13.81

time (sec)

N/A 0.217 0.679 0.711 0.000 4.561 208.143 1.494 2.608

Problem 1242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 151 172 0 1638 1431 234 2558

N.S.

1 1.00 0.96 1.09 0.00 10.37 9.06 1.48 16.19

time (sec)

N/A 0.209 0.604 0.744 0.000 4.733 41.805 0.952 2.561

Problem 1243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 183 192 0 1596 0 315 2500

N.S.

1 1.00 0.97 1.02 0.00 8.49 0.00 1.68 13.30

time (sec)

N/A 0.230 1.058 0.651 0.000 9.221 0.000 1.580 4.278

Problem 1244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 263 219 0 3340 0 500 2500

N.S.

1 1.00 1.04 0.86 0.00 13.15 0.00 1.97 9.84

time (sec)

N/A 0.389 1.031 0.736 0.000 36.456 0.000 1.593 6.076

Problem 1245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

344 344 385 267 0 5737 0 603 2500

N.S.

1 1.00 1.12 0.78 0.00 16.68 0.00 1.75 7.27

time (sec)

N/A 0.621 1.546 0.779 0.000 106.654 0.000 1.267 6.095

Problem 1246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

457 457 553 347 0 8653 0 867 2500

N.S.

1 1.00 1.21 0.76 0.00 18.93 0.00 1.90 5.47

time (sec)

N/A 0.865 2.109 0.706 0.000 274.957 0.000 1.274 7.157

Problem 1247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

461 461 441 665 0 4124 0 1245 2500

N.S.

1 1.00 0.96 1.44 0.00 8.95 0.00 2.70 5.42

time (sec)

N/A 0.774 1.683 0.709 0.000 272.758 0.000 1.034 5.051

Problem 1248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

363 363 382 399 0 3494 0 1047 2500

N.S.

1 1.00 1.05 1.10 0.00 9.63 0.00 2.88 6.89

time (sec)

N/A 0.541 2.167 0.779 0.000 67.097 0.000 1.291 6.397

Problem 1249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

344 344 334 401 0 2846 0 841 2500

N.S.

1 1.00 0.97 1.17 0.00 8.27 0.00 2.44 7.27

time (sec)

N/A 0.468 1.632 0.685 0.000 12.594 0.000 1.411 3.852

Problem 1250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

346 346 279 386 0 3603 0 661 2500

N.S.

1 1.00 0.81 1.12 0.00 10.41 0.00 1.91 7.23

time (sec)

N/A 0.550 1.662 0.681 0.000 6.347 0.000 1.076 4.465

Problem 1251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

317 317 342 362 0 3508 4918 841 2500

N.S.

1 1.00 1.08 1.14 0.00 11.07 15.51 2.65 7.89

time (sec)

N/A 0.475 2.295 0.794 0.000 23.064 127.547 1.486 5.716

Problem 1252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

394 394 416 400 0 4414 0 1046 2500

N.S.

1 1.00 1.06 1.02 0.00 11.20 0.00 2.65 6.35

time (sec)

N/A 0.604 2.743 0.694 0.000 68.619 0.000 1.559 7.110

Problem 1253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

506 506 622 432 0 7400 0 1313 2500

N.S.

1 1.00 1.23 0.85 0.00 14.62 0.00 2.59 4.94

time (sec)

N/A 0.819 2.743 0.721 0.000 66.575 0.000 1.126 9.527

Problem 1254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-1) F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

644 644 803 482 0 0 0 1600 2500

N.S.

1 1.00 1.25 0.75 0.00 0.00 0.00 2.48 3.88

time (sec)

N/A 1.130 6.021 1.227 0.000 0.000 0.000 1.580 6.933

Problem 1255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

433 433 461 1526 0 556 0 0 -1

N.S.

1 1.00 1.06 3.52 0.00 1.28 0.00 0.00 -0.00

time (sec)

N/A 0.395 14.600 0.684 0.000 1.264 0.000 0.000 0.000

Problem 1256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

318 318 344 1129 0 450 0 0 -1

N.S.

1 1.00 1.08 3.55 0.00 1.42 0.00 0.00 -0.00

time (sec)

N/A 0.218 13.705 0.636 0.000 0.790 0.000 0.000 0.000

Problem 1257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

283 283 269 804 0 480 0 0 -1

N.S.

1 1.00 0.95 2.84 0.00 1.70 0.00 0.00 -0.00

time (sec)

N/A 0.184 12.216 0.721 0.000 1.119 0.000 0.000 0.000

Problem 1258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

346 346 346 1959 0 720 0 0 -1

N.S.

1 1.00 1.00 5.66 0.00 2.08 0.00 0.00 -0.00

time (sec)

N/A 0.251 15.504 0.654 0.000 0.680 0.000 0.000 0.000

Problem 1259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

494 494 491 3831 0 1239 0 0 -1

N.S.

1 1.00 0.99 7.76 0.00 2.51 0.00 0.00 -0.00

time (sec)

N/A 0.425 18.056 0.660 0.000 0.816 0.000 0.000 0.000

Problem 1260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

574 574 630 2112 0 682 0 0 -1

N.S.

1 1.00 1.10 3.68 0.00 1.19 0.00 0.00 -0.00

time (sec)

N/A 0.517 20.393 0.692 0.000 1.034 0.000 0.000 0.000

Problem 1261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

449 449 514 1610 0 811 0 0 -1

N.S.

1 1.00 1.14 3.59 0.00 1.81 0.00 0.00 -0.00

time (sec)

N/A 0.386 22.466 0.622 0.000 1.097 0.000 0.000 0.000

Problem 1262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

413 413 436 2367 0 843 0 0 -1

N.S.

1 1.00 1.06 5.73 0.00 2.04 0.00 0.00 -0.00

time (sec)

N/A 0.338 21.494 0.681 0.000 1.574 0.000 0.000 0.000

Problem 1263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

516 516 530 4120 0 1229 0 0 -1

N.S.

1 1.00 1.03 7.98 0.00 2.38 0.00 0.00 -0.00

time (sec)

N/A 0.448 22.058 0.692 0.000 1.119 0.000 0.000 0.000

Problem 1264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

460 460 479 1610 0 553 0 0 -1

N.S.

1 1.00 1.04 3.50 0.00 1.20 0.00 0.00 -0.00

time (sec)

N/A 0.515 19.579 0.692 0.000 0.883 0.000 0.000 0.000

Problem 1265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

339 339 356 1144 0 450 0 0 -1

N.S.

1 1.00 1.05 3.37 0.00 1.33 0.00 0.00 -0.00

time (sec)

N/A 0.317 16.448 0.626 0.000 0.871 0.000 0.000 0.000

Problem 1266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 263 629 0 371 0 0 -1

N.S.

1 1.00 1.04 2.48 0.00 1.46 0.00 0.00 -0.00

time (sec)

N/A 0.178 9.332 0.628 0.000 1.315 0.000 0.000 0.000

Problem 1267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 209 216 0 294 0 0 -1

N.S.

1 1.00 1.02 1.06 0.00 1.44 0.00 0.00 -0.00

time (sec)

N/A 0.082 10.844 0.696 0.000 1.333 0.000 0.000 0.000

Problem 1268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

262 262 226 547 0 434 0 0 -1

N.S.

1 1.00 0.86 2.09 0.00 1.66 0.00 0.00 -0.00

time (sec)

N/A 0.160 14.850 0.634 0.000 0.478 0.000 0.000 0.000

Problem 1269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

369 369 347 1635 0 758 0 0 -1

N.S.

1 1.00 0.94 4.43 0.00 2.05 0.00 0.00 -0.00

time (sec)

N/A 0.315 21.083 0.701 0.000 0.829 0.000 0.000 0.000

Problem 1270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

510 510 506 3863 0 1322 0 0 -1

N.S.

1 1.00 0.99 7.57 0.00 2.59 0.00 0.00 -0.00

time (sec)

N/A 0.525 22.055 0.716 0.000 0.631 0.000 0.000 0.000

Problem 1271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

527 527 493 1766 0 915 0 0 -1

N.S.

1 1.00 0.94 3.35 0.00 1.74 0.00 0.00 -0.00

time (sec)

N/A 0.585 22.817 0.633 0.000 0.584 0.000 0.000 0.000

Problem 1272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

399 399 391 1324 0 739 0 0 -1

N.S.

1 1.00 0.98 3.32 0.00 1.85 0.00 0.00 -0.00

time (sec)

N/A 0.352 22.157 0.652 0.000 1.107 0.000 0.000 0.000

Problem 1273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

295 295 302 898 0 579 0 0 -1

N.S.

1 1.00 1.02 3.04 0.00 1.96 0.00 0.00 -0.00

time (sec)

N/A 0.197 18.799 0.726 0.000 1.301 0.000 0.000 0.000

Problem 1274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

253 253 210 610 0 446 0 0 -1

N.S.

1 1.00 0.83 2.41 0.00 1.76 0.00 0.00 -0.00

time (sec)

N/A 0.144 10.227 0.638 0.000 0.532 0.000 0.000 0.000

Problem 1275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

295 295 233 814 0 553 0 0 -1

N.S.

1 1.00 0.79 2.76 0.00 1.87 0.00 0.00 -0.00

time (sec)

N/A 0.183 17.162 0.627 0.000 0.983 0.000 0.000 0.000

Problem 1276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

415 415 367 1079 0 1031 0 0 -1

N.S.

1 1.00 0.88 2.60 0.00 2.48 0.00 0.00 -0.00

time (sec)

N/A 0.364 21.267 0.720 0.000 0.936 0.000 0.000 0.000

Problem 1277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

570 570 506 3024 0 1765 0 0 -1

N.S.

1 1.00 0.89 5.31 0.00 3.10 0.00 0.00 -0.00

time (sec)

N/A 0.662 23.007 0.653 0.000 1.137 0.000 0.000 0.000

Problem 1278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

524 524 530 3247 0 1273 0 0 -1

N.S.

1 1.00 1.01 6.20 0.00 2.43 0.00 0.00 -0.00

time (sec)

N/A 0.463 23.140 0.710 0.000 1.019 0.000 0.000 0.000

Problem 1279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

454 454 452 2644 0 1037 0 0 -1

N.S.

1 1.00 1.00 5.82 0.00 2.28 0.00 0.00 -0.00

time (sec)

N/A 0.366 22.448 0.734 0.000 0.394 0.000 0.000 0.000

Problem 1280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

410 410 378 2044 0 809 0 0 -1

N.S.

1 1.00 0.92 4.99 0.00 1.97 0.00 0.00 -0.00

time (sec)

N/A 0.379 20.946 0.677 0.000 0.356 0.000 0.000 0.000

Problem 1281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

420 420 441 2503 0 1012 0 0 -1

N.S.

1 1.00 1.05 5.96 0.00 2.41 0.00 0.00 -0.00

time (sec)

N/A 0.369 15.655 0.700 0.000 0.406 0.000 0.000 0.000

Problem 1282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

543 543 514 3140 0 1325 0 0 -1

N.S.

1 1.00 0.95 5.78 0.00 2.44 0.00 0.00 -0.00

time (sec)

N/A 0.619 22.899 0.728 0.000 0.318 0.000 0.000 0.000

Problem 1283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

706 706 628 4001 0 2222 0 0 -1

N.S.

1 1.00 0.89 5.67 0.00 3.15 0.00 0.00 -0.00

time (sec)

N/A 1.246 23.775 0.668 0.000 1.525 0.000 0.000 0.000

Problem 1284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 233 247 225 243 287 256 231

N.S.

1 1.00 2.16 2.29 2.08 2.25 2.66 2.37 2.14

time (sec)

N/A 0.127 0.043 0.630 0.272 3.580 0.027 4.490 0.123

Problem 1285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 194 199 186 198 226 207 185

N.S.

1 1.00 1.80 1.84 1.72 1.83 2.09 1.92 1.71

time (sec)

N/A 0.095 0.035 0.628 0.289 3.108 0.022 2.030 0.093

Problem 1286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 150 151 144 153 173 160 141

N.S.

1 1.00 1.39 1.40 1.33 1.42 1.60 1.48 1.31

time (sec)

N/A 0.079 0.028 0.569 0.296 2.773 0.019 1.565 0.064

Problem 1287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 106 103 102 108 119 113 98

N.S.

1 1.00 0.98 0.95 0.94 1.00 1.10 1.05 0.91

time (sec)

N/A 0.061 0.020 0.569 0.271 2.630 0.023 2.386 0.041

Problem 1288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 62 55 60 63 66 66 55

N.S.

1 1.00 1.00 0.89 0.97 1.02 1.06 1.06 0.89

time (sec)

N/A 0.041 0.015 0.187 0.290 3.320 0.017 1.070 1.667

Problem 1289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 32 27 26 26 29 26 26

N.S.

1 1.00 1.03 0.87 0.84 0.84 0.94 0.84 0.84

time (sec)

N/A 0.005 0.002 0.085 0.267 3.300 0.013 1.683 0.041

Problem 1290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 80 98 94 93 82 97 100

N.S.

1 1.00 0.93 1.14 1.09 1.08 0.95 1.13 1.16

time (sec)

N/A 0.052 0.031 0.559 0.280 2.442 0.194 1.381 1.684

Problem 1291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 86 95 99 143 104 151 105

N.S.

1 1.00 0.97 1.07 1.11 1.61 1.17 1.70 1.18

time (sec)

N/A 0.055 0.045 0.586 0.268 2.892 0.373 1.376 0.076

Problem 1292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 88 101 106 158 117 96 111

N.S.

1 1.00 0.94 1.07 1.13 1.68 1.24 1.02 1.18

time (sec)

N/A 0.049 0.056 0.548 0.269 3.295 0.828 1.851 1.764

Problem 1293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 98 108 121 148 138 103 122

N.S.

1 1.00 0.97 1.07 1.20 1.47 1.37 1.02 1.21

time (sec)

N/A 0.052 0.034 0.530 0.275 3.169 2.487 1.431 0.095

Problem 1294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 87 110 122 118 150 151 128

N.S.

1 1.00 0.82 1.04 1.15 1.11 1.42 1.42 1.21

time (sec)

N/A 0.049 0.033 0.585 0.281 2.614 3.695 1.466 1.711

Problem 1295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 90 110 137 130 165 95 145

N.S.

1 1.00 0.83 1.02 1.27 1.20 1.53 0.88 1.34

time (sec)

N/A 0.047 0.030 0.539 0.277 2.922 6.028 1.275 0.075

Problem 1296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 87 110 141 138 173 93 150

N.S.

1 1.00 0.81 1.02 1.31 1.28 1.60 0.86 1.39

time (sec)

N/A 0.049 0.031 0.586 0.294 3.168 12.179 1.188 1.781

Problem 1297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 390 402 392 413 495 447 374

N.S.

1 1.00 1.89 1.95 1.90 2.00 2.40 2.17 1.82

time (sec)

N/A 0.274 0.072 0.723 0.280 2.418 0.068 1.481 1.863

Problem 1298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 314 327 320 338 398 365 298

N.S.

1 1.00 1.52 1.59 1.55 1.64 1.93 1.77 1.45

time (sec)

N/A 0.189 0.059 0.634 0.282 3.650 0.083 1.193 0.128

Problem 1299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 244 252 254 263 303 281 229

N.S.

1 1.00 1.18 1.22 1.23 1.28 1.47 1.36 1.11

time (sec)

N/A 0.147 0.045 0.689 0.301 3.047 0.067 1.028 1.753

Problem 1300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 174 177 184 188 211 200 168

N.S.

1 1.00 0.84 0.86 0.89 0.91 1.02 0.97 0.82

time (sec)

N/A 0.117 0.031 0.719 0.274 3.783 0.038 1.232 1.731

[next] [prev] [prev-tail] [front] [up]